Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
571	Geosci. Model Dev., 3, 329–336, 2010 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. Geoscientific Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 03:53:15 Integer sequences Mathematical series Gamma function Gamma distribution Incomplete gamma function Factorial Differential equation Asymptote Taylor series Mathematical analysis Mathematics Combinatorics
572	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
573	Quantum boolean functions Ashley Montanaro1 and Tobias Osborne2 1 Department of Computer Science University of Bristol Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2008-12-02 21:52:10 Boolean algebra Computational complexity theory Joseph Fourier Integral transforms Circuit complexity Boolean function Parity function Decision tree model Fourier transform Theoretical computer science Applied mathematics Mathematics
574	Parameter estimation procedure in the model of pelagic ecosystem spatial dynamics with application to Pacific skipjack Add to Reading List Source URL: www.soest.hawaii.edu Language: English - Date: 2006-12-14 15:52:36 Likelihood function Mathematics Estimation theory Statistics Parameter
575	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
576	Biogeosciences, 7, 2081–2089, 2010 www.biogeosciences.netdoi:bg © Author(sCC Attribution 3.0 License. Biogeosciences Add to Reading List Source URL: www.biogeosciences.net Language: English - Date: 2014-12-03 13:10:31 Geostatistics Statistical methods Estimation theory Variogram Stationary process Mixed model Variance Best linear unbiased prediction Covariance function Statistics Regression analysis Covariance and correlation
577	Geosci. Model Dev., 4, 785–795, 2011 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. Geoscientific Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 04:02:00 Control theory State space Polynomial Differential equation Algorithm Computational complexity theory Derivative Function Mathematics Functions and mappings Mathematical analysis
578	2010 IEEE International Conference on Robotics and Automation Anchorage Convention District May 3-8, 2010, Anchorage, Alaska, USA Estimation of Model Parameters for Steerable Needles Wooram Park, Kyle B. Reed, Allison M. Add to Reading List Source URL: reedlab.eng.usf.edu Language: English - Date: 2010-08-20 18:01:37 Wiener process Autoregressive model Propagation of uncertainty Covariance and contravariance Variance Gaussian function Statistics Data analysis Martingale theory
579	Termination of LCTRSs∗ Cynthia Kop1 1 Department of Computer Science, University of Innsbruck Technikerstraße 21a, 6020 Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Mathematical logic Model theory Symbol Function Rewriting Interpretation Binary relation Mathematics Formal languages Logic
580	Operational domain theory and topology of a sequential programming language Mart´ın Escard´o Ho Weng Kin Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-10-17 12:09:06 Model theory Metalogic Structure Continuous function Orbifold Sigma-algebra Mathematics Mathematical analysis Abstract algebra

UPDATE